home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / mssymb.sty < prev    next >
Encoding:
Text File  |  1991-05-21  |  8.5 KB  |  262 lines

  1. %        *****      MSSYMB.TeX    *****               4 Nov 85
  2. %
  3. %    This file contains the definitions for the symbols in the two
  4. %    "extra symbols" fonts created at the American Math. Society.
  5.  
  6.  
  7. \font\tenmsx=msxm10
  8. \font\sevenmsx=msxm7
  9. \font\fivemsx=msxm5
  10. \font\tenmsy=msym10
  11. \font\sevenmsy=msym7
  12. \font\fivemsy=msym5
  13. \newfam\msxfam
  14. \newfam\msyfam
  15. \textfont\msxfam=\tenmsx  \scriptfont\msxfam=\sevenmsx
  16.   \scriptscriptfont\msxfam=\fivemsx
  17. \textfont\msyfam=\tenmsy  \scriptfont\msyfam=\sevenmsy
  18.   \scriptscriptfont\msyfam=\fivemsy
  19.  
  20. \def\hexnumber@#1{\ifnum#1<10 \number#1\else
  21.  \ifnum#1=10 A\else\ifnum#1=11 B\else\ifnum#1=12 C\else
  22.  \ifnum#1=13 D\else\ifnum#1=14 E\else\ifnum#1=15 F\fi\fi\fi\fi\fi\fi\fi}
  23.  
  24. \def\msx@{\hexnumber@\msxfam}
  25. \def\msy@{\hexnumber@\msyfam}
  26. \mathchardef\boxdot="2\msx@00
  27. \mathchardef\boxplus="2\msx@01
  28. \mathchardef\boxtimes="2\msx@02
  29. \mathchardef\square="0\msx@03
  30. \mathchardef\blacksquare="0\msx@04
  31. \mathchardef\centerdot="2\msx@05
  32. \mathchardef\lozenge="0\msx@06
  33. \mathchardef\blacklozenge="0\msx@07
  34. \mathchardef\circlearrowright="3\msx@08
  35. \mathchardef\circlearrowleft="3\msx@09
  36. \mathchardef\rightleftharpoons="3\msx@0A
  37. \mathchardef\leftrightharpoons="3\msx@0B
  38. \mathchardef\boxminus="2\msx@0C
  39. \mathchardef\Vdash="3\msx@0D
  40. \mathchardef\Vvdash="3\msx@0E
  41. \mathchardef\vDash="3\msx@0F
  42. \mathchardef\twoheadrightarrow="3\msx@10
  43. \mathchardef\twoheadleftarrow="3\msx@11
  44. \mathchardef\leftleftarrows="3\msx@12
  45. \mathchardef\rightrightarrows="3\msx@13
  46. \mathchardef\upuparrows="3\msx@14
  47. \mathchardef\downdownarrows="3\msx@15
  48. \mathchardef\upharpoonright="3\msx@16
  49. \let\restriction=\upharpoonright
  50. \mathchardef\downharpoonright="3\msx@17
  51. \mathchardef\upharpoonleft="3\msx@18
  52. \mathchardef\downharpoonleft="3\msx@19
  53. \mathchardef\rightarrowtail="3\msx@1A
  54. \mathchardef\leftarrowtail="3\msx@1B
  55. \mathchardef\leftrightarrows="3\msx@1C
  56. \mathchardef\rightleftarrows="3\msx@1D
  57. \mathchardef\Lsh="3\msx@1E
  58. \mathchardef\Rsh="3\msx@1F
  59. \mathchardef\rightsquigarrow="3\msx@20
  60. \mathchardef\leftrightsquigarrow="3\msx@21
  61. \mathchardef\looparrowleft="3\msx@22
  62. \mathchardef\looparrowright="3\msx@23
  63. \mathchardef\circeq="3\msx@24
  64. \mathchardef\succsim="3\msx@25
  65. \mathchardef\gtrsim="3\msx@26
  66. \mathchardef\gtrapprox="3\msx@27
  67. \mathchardef\multimap="3\msx@28
  68. \mathchardef\therefore="3\msx@29
  69. \mathchardef\because="3\msx@2A
  70. \mathchardef\doteqdot="3\msx@2B
  71. \let\Doteq=\doteqdot
  72. \mathchardef\triangleq="3\msx@2C
  73. \mathchardef\precsim="3\msx@2D
  74. \mathchardef\lesssim="3\msx@2E
  75. \mathchardef\lessapprox="3\msx@2F
  76. \mathchardef\eqslantless="3\msx@30
  77. \mathchardef\eqslantgtr="3\msx@31
  78. \mathchardef\curlyeqprec="3\msx@32
  79. \mathchardef\curlyeqsucc="3\msx@33
  80. \mathchardef\preccurlyeq="3\msx@34
  81. \mathchardef\leqq="3\msx@35
  82. \mathchardef\leqslant="3\msx@36
  83. \mathchardef\lessgtr="3\msx@37
  84. \mathchardef\backprime="0\msx@38
  85. \mathchardef\risingdotseq="3\msx@3A
  86. \mathchardef\fallingdotseq="3\msx@3B
  87. \mathchardef\succcurlyeq="3\msx@3C
  88. \mathchardef\geqq="3\msx@3D
  89. \mathchardef\geqslant="3\msx@3E
  90. \mathchardef\gtrless="3\msx@3F
  91. \mathchardef\sqsubset="3\msx@40
  92. \mathchardef\sqsupset="3\msx@41
  93. %\mathchardef ="3\msx@42          (\triangleright)
  94. %\mathchardef ="3\msx@43          (\triangleleft)
  95. \mathchardef\trianglerighteq="3\msx@44
  96. \mathchardef\trianglelefteq="3\msx@45
  97. \mathchardef\bigstar="0\msx@46
  98. \mathchardef\between="3\msx@47
  99. \mathchardef\blacktriangledown="0\msx@48
  100. \mathchardef\blacktriangleright="3\msx@49
  101. \mathchardef\blacktriangleleft="3\msx@4A
  102. %\mathchardef ="3\msx@4D          (\triangle)
  103. \mathchardef\blacktriangle="0\msx@4E
  104. \mathchardef\triangledown="0\msx@4F
  105. \mathchardef\eqcirc="3\msx@50
  106. \mathchardef\lesseqgtr="3\msx@51
  107. \mathchardef\gtreqless="3\msx@52
  108. \mathchardef\lesseqqgtr="3\msx@53
  109. \mathchardef\gtreqqless="3\msx@54
  110. \mathchardef\Rrightarrow="3\msx@56
  111. \mathchardef\Lleftarrow="3\msx@57
  112. \mathchardef\veebar="2\msx@59
  113. \mathchardef\barwedge="2\msx@5A
  114. \mathchardef\doublebarwedge="2\msx@5B
  115. \mathchardef\angle="0\msx@5C
  116. \mathchardef\measuredangle="0\msx@5D
  117. \mathchardef\sphericalangle="0\msx@5E
  118. \mathchardef\varpropto="3\msx@5F
  119. \mathchardef\smallsmile="3\msx@60
  120. \mathchardef\smallfrown="3\msx@61
  121. \mathchardef\Subset="3\msx@62
  122. \mathchardef\Supset="3\msx@63
  123. \mathchardef\Cup="2\msx@64
  124. \let\doublecup=\Cup
  125. \mathchardef\Cap="2\msx@65
  126. \let\doublecap=\Cap
  127. \mathchardef\curlywedge="2\msx@66
  128. \mathchardef\curlyvee="2\msx@67
  129. \mathchardef\leftthreetimes="2\msx@68
  130. \mathchardef\rightthreetimes="2\msx@69
  131. \mathchardef\subseteqq="3\msx@6A
  132. \mathchardef\supseteqq="3\msx@6B
  133. \mathchardef\bumpeq="3\msx@6C
  134. \mathchardef\Bumpeq="3\msx@6D
  135. \mathchardef\lll="3\msx@6E
  136. \let\llless=\lll
  137. \mathchardef\ggg="3\msx@6F
  138. \let\gggtr=\ggg
  139. \mathchardef\circledS="0\msx@73
  140. \mathchardef\pitchfork="3\msx@74
  141. \mathchardef\dotplus="2\msx@75
  142. \mathchardef\backsim="3\msx@76
  143. \mathchardef\backsimeq="3\msx@77
  144. \mathchardef\complement="0\msx@7B
  145. \mathchardef\intercal="2\msx@7C
  146. \mathchardef\circledcirc="2\msx@7D
  147. \mathchardef\circledast="2\msx@7E
  148. \mathchardef\circleddash="2\msx@7F
  149. \def\ulcorner{\delimiter"4\msx@70\msx@70 }
  150. \def\urcorner{\delimiter"5\msx@71\msx@71 }
  151. \def\llcorner{\delimiter"4\msx@78\msx@78 }
  152. \def\lrcorner{\delimiter"5\msx@79\msx@79 }
  153. \def\yen{\mathhexbox\msx@55 }
  154. \def\checkmark{\mathhexbox\msx@58 }
  155. \def\circledR{\mathhexbox\msx@72 }
  156. \def\maltese{\mathhexbox\msx@7A }
  157. \mathchardef\lvertneqq="3\msy@00
  158. \mathchardef\gvertneqq="3\msy@01
  159. \mathchardef\nleq="3\msy@02
  160. \mathchardef\ngeq="3\msy@03
  161. \mathchardef\nless="3\msy@04
  162. \mathchardef\ngtr="3\msy@05
  163. \mathchardef\nprec="3\msy@06
  164. \mathchardef\nsucc="3\msy@07
  165. \mathchardef\lneqq="3\msy@08
  166. \mathchardef\gneqq="3\msy@09
  167. \mathchardef\nleqslant="3\msy@0A
  168. \mathchardef\ngeqslant="3\msy@0B
  169. \mathchardef\lneq="3\msy@0C
  170. \mathchardef\gneq="3\msy@0D
  171. \mathchardef\npreceq="3\msy@0E
  172. \mathchardef\nsucceq="3\msy@0F
  173. \mathchardef\precnsim="3\msy@10
  174. \mathchardef\succnsim="3\msy@11
  175. \mathchardef\lnsim="3\msy@12
  176. \mathchardef\gnsim="3\msy@13
  177. \mathchardef\nleqq="3\msy@14
  178. \mathchardef\ngeqq="3\msy@15
  179. \mathchardef\precneqq="3\msy@16
  180. \mathchardef\succneqq="3\msy@17
  181. \mathchardef\precnapprox="3\msy@18
  182. \mathchardef\succnapprox="3\msy@19
  183. \mathchardef\lnapprox="3\msy@1A
  184. \mathchardef\gnapprox="3\msy@1B
  185. \mathchardef\nsim="3\msy@1C
  186. \mathchardef\napprox="3\msy@1D
  187. %\mathchardef ="3\msy@20          (\subsetneq)
  188. %\mathchardef ="3\msy@21          (\supsetneq)
  189. \mathchardef\nsubseteqq="3\msy@22
  190. \mathchardef\nsupseteqq="3\msy@23
  191. \mathchardef\subsetneqq="3\msy@24
  192. \mathchardef\supsetneqq="3\msy@25
  193. %\mathchardef ="3\msy@26          (\subsetneqq)
  194. %\mathchardef ="3\msy@27          (\supsetneqq)
  195. \mathchardef\subsetneq="3\msy@28
  196. \mathchardef\supsetneq="3\msy@29
  197. \mathchardef\nsubseteq="3\msy@2A
  198. \mathchardef\nsupseteq="3\msy@2B
  199. \mathchardef\nparallel="3\msy@2C
  200. \mathchardef\nmid="3\msy@2D
  201. \mathchardef\nshortmid="3\msy@2E
  202. \mathchardef\nshortparallel="3\msy@2F
  203. \mathchardef\nvdash="3\msy@30
  204. \mathchardef\nVdash="3\msy@31
  205. \mathchardef\nvDash="3\msy@32
  206. \mathchardef\nVDash="3\msy@33
  207. \mathchardef\ntrianglerighteq="3\msy@34
  208. \mathchardef\ntrianglelefteq="3\msy@35
  209. \mathchardef\ntriangleleft="3\msy@36
  210. \mathchardef\ntriangleright="3\msy@37
  211. \mathchardef\nleftarrow="3\msy@38
  212. \mathchardef\nrightarrow="3\msy@39
  213. \mathchardef\nLeftarrow="3\msy@3A
  214. \mathchardef\nRightarrow="3\msy@3B
  215. \mathchardef\nLeftrightarrow="3\msy@3C
  216. \mathchardef\nleftrightarrow="3\msy@3D
  217. \mathchardef\divideontimes="2\msy@3E
  218. \mathchardef\varnothing="0\msy@3F
  219. \mathchardef\nexists="0\msy@40
  220. \mathchardef\mho="0\msy@66
  221. \mathchardef\thorn="0\msy@67
  222. \mathchardef\beth="0\msy@69
  223. \mathchardef\gimel="0\msy@6A
  224. \mathchardef\daleth="0\msy@6B
  225. \mathchardef\lessdot="3\msy@6C
  226. \mathchardef\gtrdot="3\msy@6D
  227. \mathchardef\ltimes="2\msy@6E
  228. \mathchardef\rtimes="2\msy@6F
  229. \mathchardef\shortmid="3\msy@70
  230. \mathchardef\shortparallel="3\msy@71
  231. \mathchardef\smallsetminus="2\msy@72
  232. \mathchardef\thicksim="3\msy@73
  233. \mathchardef\thickapprox="3\msy@74
  234. \mathchardef\approxeq="3\msy@75
  235. \mathchardef\succapprox="3\msy@76
  236. \mathchardef\precapprox="3\msy@77
  237. \mathchardef\curvearrowleft="3\msy@78
  238. \mathchardef\curvearrowright="3\msy@79
  239. \mathchardef\digamma="0\msy@7A
  240. \mathchardef\varkappa="0\msy@7B
  241. \mathchardef\hslash="0\msy@7D
  242. \mathchardef\hbar="0\msy@7E
  243. \mathchardef\backepsilon="3\msy@7F
  244. % Use the next 4 lines with AMS-TeX:
  245. %\def\Bbb{\relaxnext@\ifmmode\let\next\Bbb@\else
  246. % \def\next{\Err@{Use \string\Bbb\space only in math mode}}\fi\next}
  247. %\def\Bbb@#1{{\Bbb@@{#1}}}
  248. %\def\Bbb@@#1{\noaccents@\fam\msyfam#1}
  249. % Use the next 4 lines if NOT using AMS-TeX:
  250. \def\Bbb{\ifmmode\let\next\Bbb@\else
  251.  \def\next{\errmessage{Use \string\Bbb\space only in math mode}}\fi\next}
  252. \def\Bbb@#1{{\Bbb@@{#1}}}
  253. \def\Bbb@@#1{\fam\msyfam#1}
  254.  
  255. % Clarkson Additions by MRD
  256.  
  257. \font\sqi=cmssqi8 scaled 1200
  258. \def\IR{\hbox{$I\!\!R$}}
  259. \def\IP{\hbox{$I\!\!P$}}
  260. \def\IN{\hbox{$I\!\!N$}}
  261. \def\IC{\hbox{$C\hskip-.7em\raise.75pt\hbox{\sqi I}$}}
  262.